Blar i UiS Brage på forfatter "Hatlevold, Jens Otto"
-
Coloring GPenSIM
Hatlevold, Jens Otto (Masteroppgave/UIS-TN-IDE/2008, Master thesis, 2008)The object of this report is to present a solution on how to implement color functionality in GPenSIM. Current version of GPenSIM is based on Place/Transition nets (PT-nets). When creating systems with PT-nets there are ...